From 761875063618215f950816c5dd96b260c791ccad Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Wed, 2 Mar 2016 19:54:54 +0100
Subject: [PATCH] Doc header: change Documentation to Docs to conform with PR
 to crates.io

---
 src/doc/header.html         | 2 +-
 src/doc/stylesheets/all.css | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/doc/header.html b/src/doc/header.html
index 3a1ec6ac7..e00f968a2 100644
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -26,7 +26,7 @@
 
         <div class="dropdown-container">
             <button class="dropdown">
-                Documentation
+                Docs
                 <span class="arrow"></span>
             </button>
             <ul id="current-user-links" class="dropdown" data-bindattr-503="503">
diff --git a/src/doc/stylesheets/all.css b/src/doc/stylesheets/all.css
index 7a1709c57..5ed49be72 100644
--- a/src/doc/stylesheets/all.css
+++ b/src/doc/stylesheets/all.css
@@ -244,8 +244,9 @@ ul.dropdown {
     visibility: none;
     position: absolute;
     top: 100%;
-    left: 0;
+    right: 0;
     width: 100%;
+    min-width: 150px;
     opacity: 0;
     margin: 0;
     text-align: left;
-- 
2.30.2